Extracting the Essence of Programs
نویسنده
چکیده
In this paper, we present a new transformation algorithm called distillationwhich can automatically transform higher-order functional programs into equivalent tail-recursive programs. Using this algorithm, it is possible to produce superlinear improvement in the runtime of programs. This represents a significant advance over the supercompilation algorithm, which can only produce a linear improvement. Outline proofs are given that the distillation algorithm is correct and that it always terminates.
منابع مشابه
Extracting the Essence of Distillation
In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time ...
متن کاملGenetic improvement of essence percent and dry flower yield using indirect selection in German chamomile (Matricaria chamomilla L.)
Background & Aim: German chamomile is one of the most important medicinal plants. So, assessment of genetic diversity and relationship among the traits are very essential in chamomile breeding programs. Determination of the best indirect selection criteria for genetic improvement of essence percent and dry flower yield of German chamomile (Matricaria chamomilla L.) populations...
متن کاملGenetic improvement of essence percent and dry flower yield using indirect selection in German chamomile (Matricaria chamomilla L.)
Background & Aim: German chamomile is one of the most important medicinal plants. So, assessment of genetic diversity and relationship among the traits are very essential in chamomile breeding programs. Determination of the best indirect selection criteria for genetic improvement of essence percent and dry flower yield of German chamomile (Matricaria chamomilla L.) populations...
متن کاملContext and Memory in Multimedia Content Analysis
ors: High-level structure and summarization Researchers have considered a variety of video summarization methods—that is, methods for condensing content into a shorter descriptive form of the original content.3 Video skim, for example, is a temporally condensed form of the video stream that should preserve the most important information. Another form of summary, video highlights, aims to includ...
متن کاملExtracting the criteria for faculty members rank promotion through the application of comparative study of selected universities
The faculty promotion system, due to its special nature, is recognized as one of the prominent policy tools in the field of higher education. The criteria and principles for rank promotion represent the missions, policies and programs of the academic system. Therefore, authorities try to better organize the promotion system. Due to these characteristics, academic and scientific policymakers hav...
متن کامل